/FONT#1=NGB25/FONT#2=BDJ25[  1,RWG]/FONT#3=BDJ20/FONT#4=GRKL50/FONT#5=GRKL30/FONT#6=BDR40/FONT#7=BDI25/FONT#8=BASL30/FONT#9=BASI30/FONT#10=BASB30/FONT#11=SUP/FONT#12=SUB/FONT#13=MISC25/FONT#14=GRK30/FONT#15=FIX20/TMAR=200/PMAR=1992/BMAR=2
␈↓↓␈↓α␈↓β␈↓∧␈↓¬␈↓ε␈↓π␈↓ ↓H␈β↓H␈↓␈↓↓␈↓β␈↓↓␈↓ε␈↓λ␈↓	␈↓
␈↓␈↓␈↓
␈↓∞␈↓∂␈↓ ∧0␈↓εRelativistic Systems of Automata␈↓λ␈↓ ↓H
␈↓ ↓H␈β↓p␈↓λ␈↓ ↓H
␈↓ ↓H␈βα⊂␈↓λ␈↓ α_We␈α
are␈α
taking␈α
an␈α
idea␈αfrom␈αthe␈αtheory␈αof␈αrelativity␈αand␈αapplying␈αit␈αto␈αsystems␈αof␈αinteracting␈↓ ↓H
␈↓ ↓H␈βα0␈↓λ␈↓ ↓Hautomata.␈α∂The␈α∂idea␈α∂is␈α∂that␈α∂instead␈α∂of␈α∂having␈α∂a␈α∂single␈α∂time␈α∂variable␈α∂of␈α∂which␈α∂the␈α∂state␈α∂at␈α∂every␈↓ ↓H
␈↓ ↓H␈βαP␈↓λ␈↓ ↓Hposition␈α∪in␈α∪space␈α∪is␈α∪a␈α∪function,␈α∪each␈α∪body␈α∪has␈α∪its␈α∪own␈α∪␈↓	local␈α∪time␈↓λ␈α∩and␈α∩there␈α∩is␈α∩no␈α∩notion␈α∩of␈↓ ↓H
␈↓ ↓H␈βαp␈↓λ␈↓ ↓Hsimultaneity␈αfor␈αevents␈αseparated␈αin␈αspace.␈αThe␈αfollowing␈αnotion␈αdoes␈αnot␈αdepend␈αon␈αunderstanding␈↓ ↓H
␈↓ ↓H␈ββ⊂␈↓λ␈↓ ↓Hanything␈αabout␈αrelativity␈αtheory,␈αand␈αafter␈αwe␈αhave␈αexplained␈αit␈αwe␈αwill␈αsay␈αwhat␈αit␈αmight␈αbe␈αgood␈↓ ↓H
␈↓ ↓H␈ββ0␈↓λ␈↓ ↓Hfor.␈↓ ↓H
␈↓ ↓H␈ββP␈↓λ␈↓ ↓H
␈↓ ↓H␈ββp␈↓λ␈↓ α_We␈αstart␈αwith␈αa␈αcollection␈αof␈αentities␈α␈↓
A␈↓λ␈↓i␈↓λ␈αwhich␈αare␈αthe␈αautomata␈αof␈αthe␈αsystem.␈αEach␈α␈↓
A␈↓λ␈↓i␈↓λ␈αhas␈αa␈↓ ↓H
␈↓ ↓H␈β∧⊂␈↓λ␈↓ ↓Hset␈α␈↓
states␈α
(A␈↓i␈↓
)␈↓λ␈α
which␈α
is␈α
the␈α
set␈α
of␈α
its␈α
possible␈α
states.␈α
Another␈α
set␈α
associated␈α
with␈α
␈↓
A␈↓λ␈↓i␈↓λ␈α
is␈α
␈↓
times␈α
(A␈↓i␈↓
)␈↓λ␈α
which␈↓ ↓H
␈↓ ↓H␈β∧0␈↓λ␈↓ ↓Hhas␈α
a␈α
partial␈α
ordering␈α
for␈α
which␈α
<␈α
is␈αused.␈αA␈αstate␈αhistory␈αof␈αan␈αautomation␈αA␈↓i␈↓λ␈αis␈αa␈αmap.␈αStatehis:␈↓ ↓H
␈↓ ↓H␈β∧P␈↓λ␈↓ ↓Htimes(A␈↓i␈↓λ)→states(A␈↓i␈↓λ).␈α⊃(In␈α⊃the␈α⊃usual␈α⊂␈↓
non-relativistic␈↓λ␈α⊂automata␈α⊂theory,␈α⊂each␈α⊂␈↓
times␈α⊂(A␈↓i␈↓
)␈↓λ␈α⊂is␈α⊂the␈α⊂set␈α⊂of␈↓ ↓H
␈↓ ↓H␈β∧p␈↓λ␈↓ ↓Hintegers␈α⊃and␈α⊃there␈α⊃is␈α⊂a␈α⊂distinguished␈α⊂isomorphism␈α⊂between␈α⊂␈↓
times␈α⊂(A␈↓i␈↓
)␈↓λ␈α⊂and␈α⊂a␈α⊂univeral␈α⊂set␈α⊂␈↓
times␈↓λ␈↓ ↓H
␈↓ ↓H␈β¬⊂␈↓λ␈↓ ↓Hisomorphic␈αto␈αthe␈αintegers.)␈αThere␈αare␈αtwo␈αmain␈αcases␈αof␈αinterest␈αfor␈α␈↓
times␈α(A␈↓i␈↓
)␈↓λ,␈αnamely␈αthe␈αintegers␈↓ ↓H
␈↓ ↓H␈β¬0␈↓λ␈↓ ↓Hand␈αthe␈αreal␈αnumbers.␈αSome␈αsubautomata␈αof␈αa␈α
system␈α
may␈α
have␈α
integer␈α
times␈α
while␈α
others␈α
may␈α
have␈↓ ↓H
␈↓ ↓H␈β¬P␈↓λ␈↓ ↓Hreal␈αtimes.␈αEven␈αif␈αboth␈αhave␈α
integer␈α
times␈α
they␈α
may␈α
not␈α
correspond␈α
in␈α
a␈α
simple␈α
way␈α
-␈α
one␈α
clock␈α
may␈↓ ↓H
␈↓ ↓H␈β¬p␈↓λ␈↓ ↓Htick␈αevery␈αsecond␈αat␈αWWV␈αin␈αBoulder␈α
Colorado␈α
and␈α
the␈α
other␈α
may␈α
tick␈α
once␈α
a␈α
school␈α
day␈α
in␈α
Rio␈α
de␈↓ ↓H
␈↓ ↓H␈βε⊂␈↓λ␈↓ ↓HJaneiro.␈↓ ↓H
␈↓ ↓H␈βε0␈↓λ␈↓ ↓H
␈↓ ↓H␈βεP␈↓λ␈↓ α_In␈α∩the␈α∩examples␈α∩we␈α⊃have␈α⊃given,␈α⊃the␈α⊃ordering␈α⊃is␈α⊃total,␈α⊃but␈α⊃you␈α⊃will␈α⊃see␈α⊃that␈α⊃a␈α⊃system␈α⊃of␈↓ ↓H
␈↓ ↓H␈βεp␈↓λ␈↓ ↓Hautomata␈α∞can␈α∞best␈α∞be␈α∞regarded␈α∞as␈α∞having␈α∞partial␈α
ordered␈α
time␈α
even␈α
though␈α
its␈α
subautomata␈α
have␈↓ ↓H
␈↓ ↓H␈βπ⊂␈↓λ␈↓ ↓Htotal␈α↔ordered␈α↔times.␈α↔Therefore,␈α↔if␈α⊗we␈α⊗want␈α⊗to␈α⊗take␈α⊗systems␈α⊗of␈α⊗automata␈α⊗as␈α⊗the␈α⊗constituent␈↓ ↓H
␈↓ ↓H␈βπ0␈↓λ␈↓ ↓Hsubautomata␈α
of␈α
yet␈α
bigger␈α
systems,␈α
the␈α
basic␈α
construction␈α
should␈α
use␈α
partial␈α
ordering.␈↓ ↓H
␈↓ ↓H␈βπP␈↓λ␈↓ ↓H
␈↓ ↓H␈βπp␈↓λ␈↓ α_Besides␈α⊂the␈α⊂sets␈α⊂␈↓
states(A␈↓i␈↓
)␈↓λ␈α⊂and␈α⊂␈↓
times(A␈↓i␈↓
)␈↓λ,␈α⊂we␈α⊂also␈α⊂have␈α⊂the␈α⊂sets␈α⊂␈↓
inputs(A␈↓i␈↓
)␈α∂and␈α∂␈↓
outputs(A␈↓i␈↓
)␈↓λ␈↓ ↓H
␈↓ ↓H␈βλ⊂␈↓λ␈↓ ↓Hwhich␈α⊃give␈α⊃the␈α⊃possible␈α⊃values␈α⊃of␈α⊃inputs␈α⊃and␈α⊃outputs.␈α⊃An␈α⊃input␈α⊃history␈α⊃of␈α⊃A␈↓i␈↓λ␈α⊃is␈α⊂a␈α⊂map␈α⊂inhis:␈↓ ↓H
␈↓ ↓H␈βλ0␈↓λ␈↓ ↓Htimes(A␈↓i␈↓λ)→inputs(A␈↓i␈↓λ)␈αand␈αan␈αoutput␈αhistory␈αis␈αa␈αmap␈αouthis:␈αtimes(A␈↓i␈↓λ)␈α→outputs(A␈↓i␈↓λ).␈αIf␈αwe␈αneed␈αit,␈αwe␈↓ ↓H
␈↓ ↓H␈βλP␈↓λ␈↓ ↓Hcan␈α
use␈α
the␈α
concept␈α
of␈α
a␈α
␈↓
history␈↓λ␈α
of␈α
␈↓
A␈↓λ␈↓i␈↓λ␈α
which␈α
is␈α
a␈α
map␈↓ ↓H
␈↓ ↓H␈βλp␈↓λ␈↓ ↓H
␈↓ ↓H␈β	⊂␈↓λ␈↓ αw␈↓
hist: times(A␈↓i␈↓
)→inputs(A␈↓i␈↓
)⊗states(A␈↓i␈↓
)⊗outputs(A␈↓i␈↓
)␈↓λ␈↓ ↓H
␈↓ ↓H␈β	0␈↓λ␈↓ ↓H
␈↓ ↓H␈β	P␈↓λ␈↓ ↓HLet␈α␈↓
Inhis(A␈↓i␈↓
),␈α
Statehis(A␈↓i␈↓
),␈α
Outhis(A␈↓i␈↓
)␈↓λ␈α
and␈α
␈↓
His(A␈↓i␈↓
)␈↓λ␈α
(written␈α
with␈α
initial␈α
caps)␈α
be␈α
the␈α
sets␈α
of␈α
all␈α
possible␈↓ ↓H
␈↓ ↓H␈β	p␈↓λ␈↓ ↓Hinput␈α
histories,␈α
state␈α
histories,␈α
output␈α
histories,␈α
and␈α
histories.␈↓ ↓H
␈↓ ↓H␈β
⊂␈↓λ␈↓ ↓H
␈↓ ↓H␈β
0␈↓λ␈↓ α_The␈αlaw␈αof␈αmotion␈αof␈αan␈α
automaton␈α
gives␈α
the␈α
state␈α
at␈α
any␈α
local␈α
time␈α
as␈α
a␈α
function␈α
of␈α
the␈α
input␈↓ ↓H
␈↓ ↓H␈β
P␈↓λ␈↓ ↓Hhistory␈αand␈αthe␈αstate␈αhistory.␈αWe␈αimpose␈αthe␈αfurther␈αcondition␈αthat␈αthe␈αstate␈αat␈αa␈αgiven␈αtime␈αdepend␈↓ ↓H
␈↓ ↓H␈β
p␈↓λ␈↓ ↓Honly␈α
on␈α
the␈α
past␈α
of␈α
the␈α
state␈α
and␈α
the␈α
input.␈α
If␈α
the␈α
local␈α
time␈α
is␈α
taken␈α
as␈α
an␈α
integer,␈α
then␈α
the␈αmost␈↓ ↓H
␈↓ ↓H␈β⊂␈↓λ␈↓ ↓Himportant␈α∪case␈α∪is␈α∩when␈α∩the␈α∩state␈α∩depends␈α∩only␈α∩on␈α∩the␈α∩immediately␈α∩preceding␈α∩state␈α∩and␈α∩input.␈↓ ↓H
␈↓ ↓H␈β0␈↓λ␈↓ ↓HMoreover,␈α∂the␈α∂general␈α∂case␈α∂of␈α∂integer␈α∂time␈α∂can␈α∂be␈α∂reduced␈α∂to␈α∞the␈α∞case␈α∞of␈α∞depending␈α∞only␈α∞on␈α∞the␈↓ ↓H
␈↓ ↓H␈βP␈↓λ␈↓ ↓Himmediately␈α∂preceding␈α∂time␈α∂by␈α∂replacing␈α∂the␈α∂automaton␈α∂A␈↓i␈↓λ␈α∂by␈α∂an␈α∂automaton␈α∂A␈↓λ'␈↓λ␈αz␈↓	␈↓#q␈↓#␈↓i␈↓	␈↓λ␈α∞whose␈α∞states␈α∞are␈↓ ↓H
␈↓ ↓H␈βp␈↓λ␈↓ ↓Hcomplete␈α∂pasts␈α∞of␈α∞the␈α∞states␈α∞of␈α∞A␈↓i␈↓λ.␈α∞While␈α∞this␈α∞reduction␈α∞is␈α∞conceptually␈α∞always␈α∞possible,␈α∞it␈α∞may␈α∞be␈↓ ↓H
␈↓ ↓H␈β⊂␈↓λ␈↓ ↓Hcomputationally␈α
simpler␈α
not␈α
to␈α
do␈α
it␈α
in␈α
a␈α
particular␈α
case␈α
(if␈α
we␈α
ever␈α
get␈α
to␈α
a␈α
particular␈α
case).␈↓ ↓H
␈↓ ↓H␈β0␈↓λ␈↓ ↓H
␈↓ ↓H␈βP␈↓λ␈↓ α_When␈α
we␈α
have␈α
a␈α
continuous␈α
time␈α
and␈α
the␈α
state␈α
is␈α
given␈α
by␈α
a␈α
real␈αvariable␈αor␈αvector␈αof␈αreal␈↓ ↓H
␈↓ ↓H␈βp␈↓λ␈↓ ↓Hvariables,␈α
then␈α
a␈α
main␈α
case␈α
of␈α
interest␈α
is␈α
when␈α
we␈α
have␈α
a␈α
differential␈α
equation␈↓ ↓H
␈↓ ↓H␈β
⊂␈↓λ␈↓ ↓H
␈↓ αx␈β
)␈↓
␈↓λd state
␈↓ βL␈β
:␈↓λ = F(state,input,t)
␈∧
HαxαS␈↓ β∃␈β
L␈↓
␈↓λdt
␈↓ ↓H␈β
P␈↓π
␈↓ ↓H␈β
s␈↓λ␈↓ ↓H
␈↓ ↓H␈β∞∪␈↓λ␈↓ ↓H(In␈αorder␈αto␈αbe␈αsure␈αonly␈αthe␈αpast␈αis␈αinvolved␈αyou␈αcould␈αspecify␈αa␈αleft␈αhand␈αderivative,␈αbut␈αit␈αwon't␈↓ ↓H
␈↓ ↓H␈β∞3␈↓λ␈↓ ↓Hmatter␈α
if␈α
all␈α
the␈α
functions␈α
are␈α
smooth␈α
enough.)␈↓ ↓H
␈↓ ↓H␈β∞S␈↓λ␈↓ ↓H
␈↓ ↓H␈β∞s␈↓λ␈↓ α_The␈αoutput␈αlaw␈αof␈αan␈αautomaton␈αgives␈αthe␈α
output␈α
as␈α
a␈α
function␈α
of␈α
the␈α
state.␈α
(Something␈α
might␈↓ ↓H
␈↓ ↓H␈β∂∪␈↓λ␈↓ ↓Hbe␈αgained␈αby␈αletting␈αthe␈αoutput␈αdepend␈αon␈αthe␈αpasts␈αof␈α
the␈α
state␈α
and␈α
input␈α
if␈α
it␈α
is␈α
computationally␈α
or␈↓ ↓H
␈↓ ↓H␈β∂3␈↓λ␈↓ ↓Hmathematically␈α
convenient␈α
in␈α
a␈α
particular␈α
case.)␈↓ ↓H
␈↓ f␈βg␈↓λ2
␈↓ ↓H␈β↓H␈↓λ␈↓ ↓H
␈↓ ↓H␈β↓h␈↓λ␈↓ α_The␈α⊂interaction␈α⊂between␈α⊂automata␈α⊂is␈α⊂specified␈α⊂by␈α⊂a␈α∂law␈α∂which␈α∂gives␈α∂the␈α∂input␈α∂of␈α∂A␈↓i␈↓λ␈α∂as␈α∂a␈↓ ↓H
␈↓ ↓H␈βαλ␈↓λ␈↓ ↓Hfunction␈αof␈αthe␈αoutput␈αhistories␈αof␈αall␈αthe␈αautomata␈αsubject␈αto␈αa␈αcausality␈αcondition.␈αThe␈αidea␈αof␈αthe␈↓ ↓H
␈↓ ↓H␈βα(␈↓λ␈↓ ↓Hcausality␈αcondition␈αis␈αagain␈αto␈αallow␈αthe␈αstate␈αto␈αdepend␈α
only␈α
on␈α
the␈α
past,␈α
but␈α
since␈α
we␈α
do␈α
not␈α
have␈α
a␈↓ ↓H
␈↓ ↓H␈βαH␈↓λ␈↓ ↓Hcorrespondence␈α
between␈α
the␈α
times␈α
of␈α
the␈α
different␈α
automata,␈α
we␈α
proceed␈α
as␈α
follows:␈↓ ↓H
␈↓ ↓H␈βαh␈↓λ␈↓ ↓H
␈↓ ↓H␈ββπ␈↓λ␈↓ α_Form␈αthe␈α
disjoint␈α
union␈α
of␈α
all␈α
the␈α
local␈α
time␈α
spaces␈α
and␈α
take␈α
a␈α
partial␈α
ordering␈α
␈↓
<␈↓λ␈α
on␈α
that␈α
space␈↓ ↓H
␈↓ ↓H␈ββ'␈↓λ␈↓ ↓Hconsistent␈αwith␈αthe␈αlocal␈αorderings␈αof␈αlocal␈αtimer,␈αi.e.␈αif␈α
␈↓
t␈↓i␈↓
␈α
ε␈α
times␈α
(A␈↓i␈↓
)␈↓λ␈α
and␈α
␈↓
t␈↓λ'␈↓
␈αz␈↓	␈↓#q␈↓#␈↓
␈↓i␈↓
␈α
ε␈α
times␈α
(A␈↓i␈↓
)␈↓λ,␈α
then␈α
␈↓
t␈↓i␈↓
␈α
␈↓
<␈↓
␈α
t␈↓λ'␈↓
␈αz␈↓	␈↓#q␈↓#␈↓i␈↓	␈α
␈↓∂␈↓#¬≡␈↓#␈↓ ↓H
␈↓ ↓H␈ββG␈↓∂␈↓ ↓H␈↓
t␈↓i␈↓
␈α<␈αt␈↓λ'␈↓
␈αz␈↓	␈↓#q␈↓#␈↓i␈↓	␈↓λ.␈αThis␈αcan␈αbe␈αdone␈αtrivially␈αby␈αtaking␈αt␈α␈↓
<␈↓λ␈αt␈↓λ'␈↓λ␈αz␈↓	␈↓#q␈↓#␈↓λ␈αif␈αand␈αonly␈αif␈α
t␈α
and␈α
t␈↓λ'␈↓λ␈αz␈↓	␈↓#q␈↓#␈↓λ␈α
are␈α
in␈α
the␈α
same␈α
times␈α
(A␈↓i␈↓λ)␈α
and␈↓ ↓H
␈↓ ↓H␈ββh␈↓λ␈↓ ↓Ht␈α
<␈α
t␈↓λ'␈↓λ␈αz␈↓	␈↓#q␈↓#␈↓λ,␈α
but␈α
in␈α
the␈α
trivial␈α
case␈α
the␈α
automata␈α
won't␈α
interact.␈↓ ↓H
␈↓ ↓H␈β∧λ␈↓λ␈↓ ↓H
␈↓ ↓H␈β∧(␈↓λ␈↓ α_We␈αnow␈αrequire␈αthat␈αfor␈αany␈αt␈α␈↓	ε␈↓λ␈αtimes␈α(A␈↓i␈↓λ),␈αinput␈α␈↓i␈↓λ(t)␈αdepend␈αonly␈αon␈αoutput␈↓j␈↓λ(T)␈αfor␈αvalues␈αT␈↓ ↓H
␈↓ ↓H␈β∧G␈↓λ␈↓ ↓Hsatisfying␈α
T␈↓
<␈↓λt.␈↓ ↓H
␈↓ ↓H␈β∧h␈↓λ␈↓ ↓H
␈↓ ↓H␈β¬λ␈↓λ␈↓ α_In␈αthe␈αinteger␈αtime␈α
non-relativistic␈α
case,␈α
the␈α
correspondence␈α
between␈α
the␈α
local␈α
times␈α
reduces␈α
the␈↓ ↓H
␈↓ ↓H␈β¬'␈↓λ␈↓ ↓Hordering␈α⊂␈↓
<␈↓λ␈α⊂to␈α⊂the␈α⊂ordering␈α⊂<,␈α⊂and␈α⊂instead␈α⊂of␈α⊂letting␈α⊂input␈↓i␈↓λ(t␈↓i␈↓λ)␈α⊂depend␈α⊂on␈α⊂the␈α⊂entire␈α∂pasts␈α∂of␈α∂the␈↓ ↓H
␈↓ ↓H␈β¬H␈↓λ␈↓ ↓Houtputs␈α
of␈α
the␈α
automata,␈α
it␈α
depends␈α
only␈α
on␈α
the␈α
outputs␈α
at␈α
the␈α
immediately␈α
preceding␈α
time.␈↓ ↓H
␈↓ ↓H␈β¬h␈↓λ␈↓ ↓H
␈↓ ↓H␈βελ␈↓λ␈↓ α_We␈α⊂can␈α⊂express␈α⊂this␈α⊂␈↓	immediacy␈↓λ␈α⊂condition␈α∂in␈α∂the␈α∂relativistic␈α∂case␈α∂by␈α∂introducing␈α∂a␈α∂function␈↓ ↓H
␈↓ ↓H␈βε#␈↓λ␈↓ ↓H␈↓∞J␈↓λ␈↓i␈↓λ␈↓j␈↓λ(t␈↓i␈↓λ)␈α∂and␈α∂requiring␈α∂that␈α∂input␈↓i␈↓λ(t␈↓i␈↓λ)␈α∂depend␈α∂precisely␈α∂on␈α∂the␈α∂output␈↓j␈↓λ(␈↓∞J␈↓λ␈↓i␈↓λ␈↓j␈↓λ(t␈↓i␈↓λ))␈α∂for␈α∂all␈α∂j's.␈α∂The␈α∂function␈↓ ↓H
␈↓ ↓H␈βεE␈↓λ␈↓ ↓H␈↓∞J␈↓λ␈↓i␈↓λ␈↓j␈↓λ(t␈↓i␈↓λ)␈α∂can␈α∂be␈α∂used␈α∂to␈α∂determine␈α∂the␈α∂partial␈α∞ordering␈α∞␈↓
<␈↓λ,␈α∞and␈α∞any␈α∞␈↓∞J␈↓λ␈↓i␈↓λ␈↓j␈↓λ␈α∞will␈α∞do␈α∞provided␈α∞it␈α∞allows␈α∞no␈↓ ↓H
␈↓ ↓H␈βεj␈↓λ␈↓ ↓Hcycles␈α
whereby␈α
the␈α
future␈α
or␈α
the␈α
present␈α
of␈α
an␈α
automaton␈α
can␈α
affect␈α
its␈α
present.␈↓ ↓H
␈↓ ↓H␈βπ
␈↓λ␈↓ ↓H
␈↓ ↓H␈βπ*␈↓λ␈↓ α_The␈α
formalism␈α
includes␈α
partial␈α
differential␈α
equations␈α
of␈α
the␈α
sort␈α
where␈↓ ↓H
␈↓ ↓H␈βπJ␈↓λ␈↓ ↓H
␈↓ ↓H␈βπj␈↓λ␈↓ ↓H
␈↓ ¬
␈βλβ␈↓
␈↓λ∂␈↓2␈↓λf
␈↓ ∧S␈↓
␈↓λ∂f␈↓ ∧~␈↓
␈↓λ∂f␈↓ αx␈βλ	␈↓
␈↓λ∂u
␈↓ ¬8␈↓λ , etc).␈↓ ∧p␈↓λ , ␈↓ ∧8␈↓λ , ␈↓ βX␈↓λx, y, ␈↓ β→␈βλ~␈↓λ = F(
␈∧λ(¬
α-␈∧λ(∧Rα≥␈∧λ(∧↔α ␈∧λ(αxα ␈↓ ∧R␈↓
␈↓λ∂y␈↓ ∧↔␈↓
␈↓λ∂x␈↓ α|␈βλ,␈↓
␈↓λ∂t
␈↓ ¬
␈βλ,␈↓
␈↓λ∂x␈↓2␈↓λ
␈↓ ↓H␈βλ0␈↓π
␈↓ ↓H␈βλY␈↓λ␈↓ ↓H
␈↓ ↓H␈βλy␈↓λ␈↓ ↓HWe␈α
then␈α
have␈α
to␈α
attach␈α
an␈α
automaton␈α
to␈α
each␈α
point␈α
of␈α
space.␈α
(The␈α
physics␈α
minded␈α
reader␈αshould␈↓ ↓H
␈↓ ↓H␈β	→␈↓λ␈↓ ↓Himagine␈αMaxwell's␈αequations␈αconsidered␈αthis␈αway,␈αbut␈αmay␈αfind␈αhimself␈αdiscouraged␈αby␈αthe␈α
fact␈α
that␈↓ ↓H
␈↓ ↓H␈β	9␈↓λ␈↓ ↓Hthe␈αautomata␈αdon't␈αretain␈αtheir␈αidentity␈αunder␈αLorentz␈αtransformations.␈αClearly,␈αthis␈αis␈αsomething␈αto␈↓ ↓H
␈↓ ↓H␈β	Y␈↓λ␈↓ ↓Hworry␈α
about␈α
in␈α
the␈α
general␈α
relativistic␈α
theory␈α
of␈α
automata).␈↓ ↓H
␈↓ ↓H␈β	y␈↓λ␈↓ ↓H
␈↓ ↓H␈β
→␈↓λ␈↓ ↓HEquivalence␈α
of␈α
automaton␈α
systems␈↓ ↓H
␈↓ ↓H␈β
9␈↓λ␈↓ ↓H
␈↓ ↓H␈β
T␈↓λ␈↓ α_Let␈αA␈αand␈αB␈αbe␈αautomaton␈αsystems.␈αSuppose␈αthere␈αis␈αa␈α1-1␈αmap␈α␈↓∞J␈↓λ␈αof␈αthe␈αset␈αH(A)␈α
of␈α
histories␈↓ ↓H
␈↓ ↓H␈β
t␈↓λ␈↓ ↓Hof␈αA␈αonto␈αH(B)␈αsatisfying␈αthe␈αfollowing␈αcausality␈αcondition:␈αthere␈αare␈αfunctions␈α␈↓∞J␈↓λ␈↓i␈↓λ␈↓j␈↓λ(t␈↓i␈↓λ)␈α
and␈α
␈↓∞Y␈↓λ␈↓j␈↓λ␈↓i␈↓λ(t␈↓i␈↓λ)␈α
such␈↓ ↓H
␈↓ ↓H␈β⊗␈↓λ␈↓ ↓Hthat␈αthe␈αstate␈αof␈αA␈↓i␈↓λ␈αat␈αlocal␈αtime␈αt␈↓i␈↓λ␈αdepends␈α
only␈α
on␈α
the␈α
states␈α
of␈α
B␈↓j␈↓λ's␈α
at␈α
times␈α
preceding␈α
␈↓∞J␈↓λ␈↓i␈↓λ␈↓j␈↓λ(t␈↓i␈↓λ)␈α
and␈α
the␈↓ ↓H
␈↓ ↓H␈β8␈↓λ␈↓ ↓Hstate␈αof␈αB␈↓j␈↓λ␈αat␈αlocal␈αtime␈α
t␈↓j␈↓λ␈α
depends␈α
only␈α
on␈α
the␈α
states␈α
of␈α
the␈α
A␈↓j␈↓λ's␈α
at␈α
times␈α
preceding␈α
␈↓∞Y␈↓λ␈↓j␈↓λ␈↓i␈↓λ(t␈↓i␈↓λ).␈α
The␈α
case␈α
in␈↓ ↓H
␈↓ ↓H␈βZ␈↓λ␈↓ ↓Hwhich␈αthe␈αstate␈αof␈αA␈↓i␈↓λ␈αat␈αtime␈αt␈↓i␈↓λ␈αdepends␈αon␈αthe␈α
states␈α
of␈α
the␈α
B␈↓j␈↓λ's␈α
at␈α
the␈α
times␈α
␈↓∞J␈↓λ␈↓λ'␈↓λ␈αz␈↓	␈↓#q␈↓#␈↓2␈↓	␈↓λ␈↓j␈↓λ(t␈↓i␈↓λ)␈α
only␈α
and␈α
the␈α
state␈↓ ↓H
␈↓ ↓H␈β|␈↓λ␈↓ ↓HB␈↓j␈↓λ␈α
at␈α
time␈α
t␈↓j␈↓λ␈α
depends␈α
on␈α
the␈α
states␈α
of␈α
the␈α
A␈↓i␈↓λ's␈α
at␈α
the␈α
times␈α
␈↓∞Y␈↓λ␈↓λ'␈↓λ␈αz␈↓	␈↓#q␈↓#␈↓j␈↓	␈↓i␈↓	␈↓λ(t␈↓j␈↓λ)␈α
only␈α
will␈αbe␈αcalled␈αthe␈αimmediate␈↓ ↓H
␈↓ ↓H␈β!␈↓λ␈↓ ↓Hcase.␈↓ ↓H
␈↓ ↓H␈βA␈↓λ␈↓ ↓H
␈↓ ↓H␈βa␈↓λ␈↓ α_When␈αtwo␈αautomaton␈αsystems␈αcorrespond␈αin␈αthis␈αway␈αwe␈αshall␈αcall␈αthem␈αequivalent.␈αNote␈αthat␈↓ ↓H
␈↓ ↓H␈β
↓␈↓λ␈↓ ↓Hthere␈αneed␈αbe␈αno␈αcorrespondence␈αbetween␈αthe␈αsubautomata␈αof␈αone␈αsystem␈αand␈αthose␈αof␈αthe␈αother.␈α(If␈↓ ↓H
␈↓ ↓H␈β
!␈↓λ␈↓ ↓Hwe␈α→regard␈α→Maxwell's␈α_equations␈α_in␈α_two␈α_different␈α_co-ordinate␈α_systems␈α_related␈α_by␈α_a␈α_Lorentz␈↓ ↓H
␈↓ ↓H␈β
A␈↓λ␈↓ ↓Htransformation␈α
defining␈α
automaton␈α
systems,␈α
the␈α
systems␈α
will␈α
be␈α
equivalent.)␈↓ ↓H
␈↓ ↓H␈β
a␈↓λ␈↓ ↓H
␈↓ ↓H␈β∞↓␈↓λ␈↓ ↓H
␈↓ ↓H␈β∞!␈↓λ␈↓ ↓H
␈↓ ↓H␈β∞A␈↓λ␈↓ ↓HSpace-like␈α
surfaces␈↓ ↓H
␈↓ ↓H␈β∞a␈↓λ␈↓ ↓H
␈↓ ↓H␈β∂↓␈↓λ␈↓ α_A␈α∂space-like␈α∂surface␈α∂S␈α∂is␈α∂an␈α∞assignment␈α∞T␈↓i␈↓λ␈α∞of␈α∞local␈α∞times␈α∞to␈α∞the␈α∞automata␈α∞A␈↓i␈↓λ␈α∞such␈α∞that␈α∞the␈↓ ↓H
␈↓ ↓H␈β∂!␈↓λ␈↓ ↓Hvalue␈αof␈αstate␈↓i␈↓λ(T␈↓i␈↓λ)␈αdepends␈αonly␈αon␈αvalues␈αof␈αthe␈αstates␈αof␈αthe␈αother␈αautomatia␈αA␈↓j␈↓λ␈αfor␈αtimes␈αprior␈αto␈↓ ↓H
␈↓ f␈βg␈↓λ3
␈↓ ↓H␈β↓H␈↓λ␈↓ ↓HT␈↓j␈↓λ.␈αIn␈αthe␈αrelativity␈αcase,␈αan␈αassignment␈αof␈αvalues␈αof␈αa␈αfield␈αon␈αa␈αspacelike␈α
surface␈α
allows␈α
the␈α
field␈α
to␈↓ ↓H
␈↓ ↓H␈β↓h␈↓λ␈↓ ↓Hbe␈α∞determined␈α∞for␈α∞future␈α∞times.␈α∞In␈α∞the␈α∞automaton␈α∞case␈α∞the␈α∞situation␈α
is␈α
more␈α
complicated;␈α
we␈α
must␈↓ ↓H
␈↓ ↓H␈βαλ␈↓λ␈↓ ↓Halso␈α⊃specify␈α⊃any␈α⊃outputs␈α⊃that␈α⊃may␈α⊃be␈α⊃required␈α⊂for␈α⊂continuation,␈α⊂and␈α⊂the␈α⊂times␈α⊂for␈α⊂which␈α⊂those␈↓ ↓H
␈↓ ↓H␈βα(␈↓λ␈↓ ↓Houtputs␈αare␈αrequired␈αmay␈αgo␈αarbitrarily␈αfar␈αback␈αin␈αthe␈αlocal␈αtimes␈αof␈αthe␈αautomata.␈α
Obviously␈α
some␈↓ ↓H
␈↓ ↓H␈βαH␈↓λ␈↓ ↓Hrestrictions␈α
on␈α
the␈α
times␈α
for␈α
which␈α
outputs␈α
are␈α
required␈α
would␈α
make␈α
computation␈α
simpler.␈↓ ↓H
␈↓ ↓H␈βαh␈↓λ␈↓ ↓H
␈↓ ↓H␈ββλ␈↓λ␈↓ ↓HAn␈α
example␈↓ ↓H
␈↓ ↓H␈ββ(␈↓λ␈↓ ↓H
␈↓ ↓H␈ββH␈↓λ␈↓ α_She␈αand␈αhe␈αare␈αlovers␈αby␈α
correspondence.␈α
She␈α
write␈α
to␈α
him␈α
every␈α
day,␈α
but␈α
he␈α
receives␈α
the␈α
mail␈↓ ↓H
␈↓ ↓H␈ββh␈↓λ␈↓ ↓Hand␈α∪writes␈α∪a␈α∪letter␈α∪only␈α∪on␈α∪Saturday.␈α∪The␈α∪letter␈α∪he␈α∩writes␈α∩on␈α∩Saturday␈α∩arrives␈α∩the␈α∩following␈↓ ↓H
␈↓ ↓H␈β∧λ␈↓λ␈↓ ↓HThursday␈α
morning␈α
and␈α
the␈α
letters␈α
she␈α
writes␈α
by␈α
Tuesday␈αarrive␈αSaturday␈αmorning␈αbut␈αsubsequent␈↓ ↓H
␈↓ ↓H␈β∧(␈↓λ␈↓ ↓Hletters␈αarrive␈αonly␈αthe␈αfollowing␈α
Saturday.␈α
Her␈α
love␈α
for␈α
him␈α
and␈α
his␈α
love␈α
for␈α
her␈α
are␈α
each␈α
given␈α
by␈α
a␈↓ ↓H
␈↓ ↓H␈β∧H␈↓λ␈↓ ↓Hnon-negative␈α∞integer.␈α∞In␈α
each␈α
letter␈α
he␈α
transmits␈α
his␈α
love␈α
for␈α
her␈α
and␈α
she␈α
her␈α
love␈α
for␈α
him␈α
except␈↓ ↓H
␈↓ ↓H␈β∧h␈↓λ␈↓ ↓Hthat␈α⊂if␈α⊂his␈α⊂love␈α⊂is␈α⊂greater␈α⊂than␈α⊂100,␈α⊂he␈α⊂also␈α⊂transmits␈α⊂a␈α∂proposal␈α∂of␈α∂marriage.␈α∂If␈α∂she␈α∂receives␈α∂a␈↓ ↓H
␈↓ ↓H␈β¬λ␈↓λ␈↓ ↓Hproposal␈αshe␈αaccepts␈αit␈αif␈αher␈αlove␈αis␈αgreater␈αthan␈α100␈αand␈αdeclines␈α
it␈α
otherwise.␈α
The␈α
game␈α
ends␈α
with␈↓ ↓H
␈↓ ↓H␈β¬(␈↓λ␈↓ ↓Han␈α
accepted␈α
proposal␈α
or␈α
if␈α
both␈α
loves␈α
reach␈α
0.␈α
Her␈α
love␈α
declines␈α
by␈α
one␈α
unit␈α
each␈α
day␈α
she␈α
doesn't␈↓ ↓H
␈↓ ↓H␈β¬H␈↓λ␈↓ ↓Hreceive␈α
a␈α
letter.␈α
When␈α
she␈α
receives␈α
a␈α
letter␈α
her␈α
love␈α
is␈α
increased␈α
by␈↓ ↓H
␈↓ ↓H␈β¬h␈↓λ␈↓ ↓H
␈↓ β␈βε↓␈↓
␈↓∂m
␈↓ β_␈↓λ ]␈↓ αx␈βε	␈↓λ[ 
␈∧ε↔βα␈↓ β␈βε≠␈↓
␈↓∂2
␈↓ ↓H␈βε∨␈↓π
␈↓ ↓H␈βε9␈↓λ␈↓ ↓Hwhere␈α
m␈α
is␈α
the␈α
amount␈α
of␈α
love␈αin␈αthe␈αletter␈αunless␈αthe␈αletter␈αcontains␈αa␈αproposal␈αin␈αwhich␈αcase␈αher␈↓ ↓H
␈↓ ↓H␈βεY␈↓λ␈↓ ↓Hlove␈α
is␈α
doubled.␈α
His␈α
love␈α
is␈↓ ↓H
␈↓ ↓H␈βεy␈↓λ␈↓ ↓H
␈↓ βC␈βπ∩␈↓
␈↓∂1
␈∧π∀∧λαλ␈↓ ∧⊃␈↓λ - 50r],0)␈↓ ∧λ␈↓λ␈↓	l␈↓ βO␈↓λm + ␈↓ αx␈βπ~␈↓λmax([
␈∧π(βCα␈↓ βC␈βπ,␈↓
␈↓∂2
␈↓ ↓H␈βπ0␈↓π
␈↓ ↓H␈βπ;␈↓λ␈↓ ↓Hwhere␈αm␈αis␈αhis␈αlove␈αof␈αthe␈αpreceding␈αweek,␈α␈↓	l␈↓λ␈αw␈↓#⊗-␈↓#␈αis␈αthe␈αaverage␈αlove␈αin␈αthe␈αletters␈αhe␈αreceives␈αand␈αr␈αis␈α1␈↓ ↓H
␈↓ ↓H␈βπq␈↓λ␈↓ ↓Hif␈αa␈αletter␈αcontains␈αa␈αrejection␈αof␈αa␈αproposal␈αand␈α0␈αotherwise.␈αInitially␈αwhe␈αdoesn't␈αlove␈αhim,␈αbut␈αhe␈↓ ↓H
␈↓ ↓H␈βλ⊃␈↓λ␈↓ ↓Hsees␈α∞her␈α∞picture␈α∞which␈α∞inspires␈α
an␈α
amount␈α
of␈α
love␈α
m␈↓o␈↓λ␈α
and␈α
the␈α
romance␈α
starts.␈α
What␈α
values␈α
of␈α
m␈↓o␈↓λ␈↓ ↓H
␈↓ ↓H␈βλ1␈↓λ␈↓ ↓Hlead␈α
to␈α
marriage?␈↓ ↓H
␈↓ ↓H␈βλQ␈↓λ␈↓ ↓H
␈↓ ↓H␈βλq␈↓λ␈↓ α_His␈αlocal␈αtime␈αis␈αmeasured␈αin␈αweeks␈αand␈αhers␈αin␈αdays.␈αIf␈αwe␈αstart␈αher␈αlocal␈αtime␈αat␈αT=0␈αon␈αthe␈↓ ↓H
␈↓ ↓H␈β	⊃␈↓λ␈↓ ↓HThursday␈αshe␈αreceives␈αhis␈αfirst␈αletter␈αand␈αhis␈αat␈αt=0␈αwhen␈αhe␈αsends␈αhis␈αfirst␈α
letter,␈α
then␈α
the␈α
course␈α
of␈↓ ↓H
␈↓ ↓H␈β	1␈↓λ␈↓ ↓Hthe␈α
affair␈α
is␈α
described␈α
by␈α
the␈α
equations␈↓ ↓H
␈↓ ↓H␈β	Q␈↓λ␈↓ ↓H
␈↓ ↓H␈β	q␈↓λ1)␈↓ α_m(t) = ␈↓
if␈↓λ t=0 ␈↓
 then ␈↓λm␈↓o␈↓λ␈↓
 else␈↓λ␈↓ ↓H
␈↓ ∧P␈↓
␈↓∂1␈↓ βX␈β
∞␈↓
␈↓∂1
␈↓ ∧\␈↓λ␈↓	l␈↓λ(7t-9) + ␈↓	l␈↓λ(7t-10) + ...␈↓ βd␈↓λm(t-1) + ␈↓ αx␈β
⊗␈↓λmax(0,[
␈∧
$∧Pα␈∧
$βXα␈↓ ∧P␈↓
␈↓∂7␈↓ βX␈β
(␈↓
␈↓∂2
␈↓ ↓H␈β
,␈↓π
␈↓ αx␈β
7␈↓λ + ␈↓	l␈↓λ(7t-15)) + (␈↓
if␈↓λ r(t7-14)=1 ␈↓
then␈↓λ -50 ␈↓
else␈↓λ 0)]),
␈↓ ↓H␈β
M␈↓π
␈↓ ↓H␈β
↑␈↓λ␈↓ ↓H
␈↓ ↓H␈β
}␈↓λ␈↓ ↓H
␈↓ ↓H␈β≡␈↓λ2)␈↓ α_p(t) = ␈↓
if␈↓λ m(t) > 100 ␈↓
then␈↓λ 1 ␈↓
else␈↓λ 0,␈↓ ↓H
␈↓ ↓H␈β>␈↓λ␈↓ ↓H
␈↓ ↓H␈β↑␈↓λ3)␈↓ α_␈↓	l␈↓λ(T) = ␈↓
if␈↓λ 7|T ␈↓
then␈↓λ ␈↓ ↓H
␈↓ εa␈↓
␈↓∂T␈↓ ε4␈↓
␈↓∂1␈↓ β9␈βw␈↓
␈↓∂T
␈↓ εm␈↓λ)])␈↓ ε@␈↓λm(␈↓ ε*␈↓λ[␈↓ βE␈↓λ)=␈↓
then␈↓λ 2␈↓	l␈↓λ(T-1) ␈↓
else␈↓λ ␈↓	l␈↓λ(T-1) + ␈↓ αx␈β␈␈↓λ(␈↓λif␈↓λ p(
␈∧
εaα␈∧
ε4α␈∧
β9α␈↓ εa␈↓
␈↓∂7␈↓ ε4␈↓
␈↓∂2␈↓ β9␈β⊃␈↓
␈↓∂7
␈↓ ↓H␈β∃␈↓π
␈↓ αx␈β ␈↓λ␈↓
else␈↓λ max(0, ␈↓	l␈↓λ(T-1)-1),
␈↓ ↓H␈β6␈↓π
␈↓ ↓H␈βG␈↓λ␈↓ ↓H
␈↓ ↓H␈βg␈↓λ␈↓ ↓H
␈↓ ↓H␈β
π␈↓λand␈↓ ↓H
␈↓ ↓H␈β
'␈↓λ␈↓ ↓H
␈↓ ∧↑␈β
@␈↓
␈↓∂T
␈↓ ∧j␈↓λ) ∧ ␈↓	l␈↓λ(T) ≤ 100 ␈↓
then␈↓λ 1 ␈↓
else␈↓λ 0.␈↓ αx␈↓λr(T) = ␈↓
if␈↓λ 7|T ∧ p(␈↓ ↓H␈β
H␈↓λ4)
␈∧
V∧↑α␈↓ ∧↑␈β
Z␈↓
␈↓∂7
␈↓ ↓H␈β
↑␈↓π
␈↓ ↓H␈β
x␈↓λ␈↓ ↓H